Implementation of Nondeterministic Compiler Using Monad
نویسندگان
چکیده
منابع مشابه
Monad Sets – Implementation and Mathematical Foundations
A Proof of the uniqueness of monad sets 4 A.
متن کاملRealising nondeterministic I/O in the Glasgow Haskell Compiler
In this paper we demonstrate how to relate the semantics given by the nondeterministic call-by-need calculus FUNDIO [SS03] to Haskell. After introducing new correct program transformations for FUNDIO, we translate the core language used in the Glasgow Haskell Compiler into the FUNDIO language, where the IO construct of FUNDIO corresponds to direct-call IO-actions in Haskell. We sketch the inves...
متن کاملImplementation of EasyTime Formal Semantics using a LISA Compiler Generator
A manual measuring time tool in mass sporting competitions would not be imaginable nowadays, because many modern disciplines, such as IRONMAN, last a long-time and, therefore, demand additional reliability. Moreover, automatic timing-devices based on RFID technology, have become cheaper. However, these devices cannot operate as standalone because they need a computer measuring system that is ca...
متن کاملCompiler support for an RMI implementation using NexusJava
Java [7] is a portable, object oriented programming language. Its portability is obtained by compiling Java source code into bytecode which can be directly executed by a Java Virtual Machine (JVM) running on any host. The main operation in the Java language is the invocation of a method on an object. These methods perform some action after which control is returned to the invoking method. Typic...
متن کاملTowards Rigorous Compiler Implementation Verification
This paper sketches our approach to rigorously prove the correctness of a compiler executable down to its binary machine code implementation. We will emphasize the central r^ ole of partial program correctness and its preservation, which capture the intuitive correctness requirements for transformational programs and in particular for compilers on realistic machines. Vertical and horizontal com...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of the Korea Society of Computer and Information
سال: 2014
ISSN: 1598-849X
DOI: 10.9708/jksci.2014.19.2.151